đánh giá soi kèo hôm nay link vào

Mô tả sản phẩm

đánh giá soi kèo hôm nay link vào Đến tháng Mười, ông bắt đầu than phiền về tình trạng sức khỏe, vào ngày 20 tháng 11, một cơn bệnh khốc liệt đã bắt đầu, gây ra chứng sốt cao, nôn mửa và thân thể phù nề. Bị quấy rầy bởi những chuyến viếng thăm của người lạ mặt đốc thúc việc biên soạn Requiem, Mozart trở nên bị ám ảnh rằng ông đang viết cho bộ lễ cầu hồn cho chính mình. Hai tuần lễ trước ngày qua đời, Mozart bỏ dang dở công việc mà ông đang thực hiện với người trợ lý, Sussmayr. Một ngày trước khi ông chết, ông được nghe người ta đọc bản văn Requiem với thân nhân và bạn hữu. Tác phẩm chưa viết xong, nhưng bản dự thảo đã được hoàn thành. Bài ca nhập lễ và Kinh thương xót đã được viết đầy đủ, và hầu hết phần khác mới chỉ là dàn ý, ngoại trừ đoạn quan trọng Lacrimosa, Mozart mới viết được duy nhất tám ô nhịp đầu tiên.

Năm 1928, nhà toán học người Đức David Hilbert kêu gọi sự chú ý đến ''Entscheidungsproblem'' (bài toán quyết định). Trong bài viết nổi tiếng của ông, tựa đề Các số khả tính, với áp dụng trong Vấn đề về lựa chọn (''On Computable Numbers, with an Application to the Entscheidungsproblem'') - thuật toán lôgic - (nộp ngày 28 tháng 5 năm 1936 và nhận được ngày 12 tháng 11), Turing tái dựng lại kết quả của Kurt Gödel hồi năm 1931 về những hạn chế trong chứng minh và tính toán, thay đổi thuật ngữ tường trình số học chính quy của Gödel, bằng cái mà ngày này người ta gọi là máy Turing, một dụng cụ chính quy và đơn giản. Ông đã chứng minh rằng một cái máy như vậy sẽ có khả năng tính toán bất cứ một vấn đề toán học nào, nếu vấn đề ấy có thể được biểu diễn bằng một thuật toán. Máy Turing, cho đến nay, vẫn là một vấn đề nghiên cứu trung tâm trong lý thuyết về máy tính. Ông còn tiếp tục chứng mình rằng vấn đề về lựa chọn (''Entscheidungsproblem'') là một vấn đề không giải được, bằng cách đầu tiên chứng minh rằng bài toán dừng trong máy của Turing là bất khả định; nói chung, không thể quyết định bằng một thuật toán liệu một máy Turing cho trước có bao giờ dừng hay không. Tuy chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (''lambda calculus''), chứng minh của Turing được coi là dễ hiểu và trực giác hơn. Chứng minh của ông còn có một đóng góp quan trọng là đưa ra khái niệm máy Turing vạn năng (''Universal (Turing) Machine''), với ý tưởng rằng một máy như vậy có thể làm bất cứ việc gì mà các máy khác làm được. Bài viết còn giới thiệu khái niệm về số khả định (''definable number''). Trong hồi ký, Turing viết rằng ông đã rất thất vọng về những phản hồi cho bài báo năm 1936, khi chỉ có hai người có phản hồi, là Heinrich Scholz và Richard Bevan Braithwaite.